Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2h
📱Bytecode Design
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·19h·
Discuss: r/webdev
🚀Code Motion
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
ROCm/TheRock
github.com·4h
🔄Cross-Compilation
Thundering Herd Problem (Cache Stampede): Solutions & Prevention | System Design Tutorial
howtech.substack.com·16h·
Discuss: r/programming
🔗Weak References
Arm MTE and Speculative Oracles
reflexive.space·3d·
Discuss: Hacker News
🏷️Memory Tagging
New Spectre Branch Target Injection, Spectre-BTI, Attack Primitives On CPUs (ETH Zurich)
semiengineering.com·3d
🔮CPU Branch Prediction
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
Automated Container Yard Optimization via Hybrid Reinforcement Learning and Predictive Analytics
dev.to·17h·
Discuss: DEV
📋Task Queues
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
The Counterfactual Quiet AGI Timeline
lesswrong.com·20h
🏰Capability Machines
Measuring Reorder Buffer Capacity
blog.stuffedcow.net·3d·
Discuss: Lobsters, Hacker News
📝Register Allocation
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Blogpost: A Mental Model for GPU Engineering for LLMs
modelcraft.substack.com·1d·
Discuss: Substack
🧠Memory Models
Codie's Cognitive Chronicals
dev.to·3h·
Discuss: DEV
🏺Code Archeology
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Why We Need SIMD
parallelprogrammer.substack.com·2h·
Discuss: Substack
🔀SIMD Programming
I should’ve done this to my PC years ago
makeuseof.com·2d
⚡Performance